The Impact of Laziness on Parallelism and the Limits of StrictnessAnalysisG
نویسندگان
چکیده
The major question examined by this paper is whether suucient ne-grain parallelism can be obtained from programs written in a lazy functional language. To answer this question, we have implemented a prototype compiler based on a novel approach to strictness analysis (called abstract demand propagation) and we have compared this implementation strategy (optimized lazy) with other implementations, viz., pure lazy and lenient. Although the optimized lazy implementation improves signiicantly the eeciency of the resulting programs over the pure lazy approach, it was found that little parallelism can eeectively be identiied. This remains true even when a new notion of laziness | speculative laziness | is introduced, notion well suited to parallel machines as it based on a parallel notion of head-strictness instead of the traditional sequential one. Our experiments also showed that when a program's result is known to be nite, then strictness analysis can generate almost as much parallelism as can be obtained from a lenient (i.e., non-strict but non-lazy) implementation. Thus, this means strictness analysis per se is not suucient and should be combined with some form of termination analysis and that there is little hope to extract much parallelism for programs that really require laziness.
منابع مشابه
The Impact of Laziness on Parallelism and the Limits of Strictness Analysis
The major question examined by this paper is whether suucient ne-grain parallelism can be obtained from programs written in a lazy functional language. To answer this question, we have implemented a prototype compiler based on a novel approach to strictness analysis (called abstract demand propagation) and we have compared this implementation strategy (optimized lazy) with other implementations...
متن کاملThe mediating role of organizational culture in the effect of organizational laziness on the inertia and organizational performance of the Ministry of Sports and Youth
Abstract Introduction: The main purpose of this study was to investigate the mediating role of organizational culture in the effect of laziness on organizational performance and inertia. Methods: This study was one of the series of correlational descriptive research that was conducted in the field. The statistical population consisted of all the employees of the country's Ministry of Sports an...
متن کاملA Study of the Role of Repetition of Music in the Nimayee Poems of Akhavan Sales
In this article, the aim of the authors is to study the role of repetition in creating music and parallelism in Nimayee poems in the three collections of poems by Mehdi Akhavan Sales: Zamestan, Akhere Shahname and Az Avesta. Accordingly, the researchers have investigated the various manners of repetition in creating parallelism in the poems at three levels: phonological parallelism, lexical par...
متن کاملA Comparative Study in Relation to the Translation of the Linguistic Humor
Mark Twain made use of repetition and parallelism as two comedic literary devices to bring comic effect to the readers. Linguistic devices of humor, repetition and parallelism seemed to create many difficulties in the translation of literary texts. The present study applied Delabatista‟s strategies for translating wordplays such as repetition and parallelism in the translation of humorous texts...
متن کامل